Data structures - PDFSEARCH.IO - Document Search Engine

Data structures
Results: 1048

#	Item
571	Genetic Programming and Data Structures William Benjamin Langdon A dissertation submitted in partial fulllment of the requirements for the degree of Add to Reading List Source URL: www.site.uottawa.ca Language: English - Date: 2005-08-06 13:01:59 Mathematical optimization Software engineering Genetic algorithms Operations research Genetic programming Subroutine Fitness function C Stack Computer programming Evolutionary algorithms Computing
572	Learning Universally Quantified Invariants of Linear Data Structures Pranav Garg1 , Christof L¨oding2 , P. Madhusudan1 , and Daniel Neider2 1 University of Illinois at Urbana-Champaign Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-08-07 05:31:08 Automata theory Models of computation Logic in computer science Formal methods Computability theory Satisfiability Modulo Theories Lookup table Deterministic finite automaton Decision problem Theoretical computer science Applied mathematics Mathematics
573	Generalizing ‘‘Search’’ in Generalized Search Trees (extended abstract) Paul M. Aoki† Department of Electrical Engineering and Computer Sciences University of California Berkeley, CA[removed] Add to Reading List Source URL: www.sai.msu.su Language: English - Date: 2001-01-13 17:11:17 Computing B-tree R-tree Tree traversal Data structures T-tree Tree GiST Query optimizer Graph theory Data management Binary trees
574	Lecture Notes CMSC 420 CMSC 420: Data Structures1 Spring 2001 Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-03-19 08:06:14 Integer sequences Analysis of algorithms Asymptotic analysis Data structures Binary tree Big O notation Summation Rope Factorial Mathematics Mathematical analysis Mathematical notation
575	Trellis-Based Virtual Regular Addressing Structures in Self-organized Networks Julien Ridoux1 , Anne Fladenmuller1 , Yannis Viniotis2 , and Kav´e Salamatian1 1 LIP6 - UPMC, 8, rue du C. Scott, 75015 Paris, France Add to Reading List Source URL: www.synclab.org Language: English - Date: 2015-02-14 01:17:26 Routing algorithms Routing protocols Wireless networking Distributed data storage Trellis Routing Network topology Geographic routing Distributed hash table Electronics Computing Network architecture
576	LVars: Lattice-based Data Structures for Deterministic Parallelism Lindsey Kuper Ryan R. Newton Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-07-28 16:11:31 Mathematical logic Theoretical computer science Determinism Lattice Parallel computing Kahn process networks Applied mathematics Geometry Mathematics Models of computation Algorithm
577	Finding Linearization Violations in Lock-Free Concurrent Data Structures by Sebastien Alberto Dabdoub S.B., Massachusetts Institute of Technology (2012) Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-03-27 16:16:57 Transaction processing Computer programming Concurrency Theoretical computer science Linearizability Non-blocking algorithm Concurrent data structure Parallel computing Sequential consistency Computing Concurrency control Concurrent computing
578	Standard Template Library Introduction The Standard Template Library (STL) is a collection of classes that represent commonly used data structures and algorithms. These classes should be treate Add to Reading List Source URL: www.aaroncox.net Language: English - Date: 2005-09-25 02:21:48 Computer programming Abstract data types Object-oriented programming Data types Generic programming Iterator Standard Template Library Sequence container String Computing C++ Standard Library Software engineering
579	Data Structures in Coco/R Hanspeter Mössenböck Johannes Kepler University Linz Institute of System Software April 2005 This technical note describes the data structures in the C# and Java implementations Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2005-04-26 10:03:24 Formal languages Computer science Pattern matching Universal identifiers Nondeterministic finite automaton Deterministic automaton Terminal and nonterminal symbols Deterministic finite automaton International Article Number Automata theory Models of computation Theoretical computer science
580	Fast Bug Finding in Lock-Free Data Structures with CB-DPOR by Jelle van den Hooff S.B., Massachusetts Institute of Technology, 2013 Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-03-27 16:16:58 Computer programming Concurrency Software bugs Model checking Non-blocking algorithm Circular buffer Linearizability Thread Algorithm Concurrency control Computing Concurrent computing

UPDATE